how does arithmetic operator work in prolog

welcome to shbcf.ru